check.sat