cases.sat