problem.sat