optimize.sat