solution.sat