The zombie misconception of theoretical computer science 2 years ago
Sounds like the same question to me, for sure the students intended it that way. Many hard problems feel like you need an internal mental SAT solver to arrive at the solution.
Anyway, even if it were an invalid question, his answer still does not make any sense.