crisp.sat