precondition of solution
pass in problem when applying solutions
Problem.exists