solutions.sat