On the existence of a strictly strong Nash equilibrium under the student-optimal deferred acceptance algorithm