[SCLeo]

Does using a constraint solver actually solve the question under the time ... constraints?

If not, how can you claim you have solved the problem?