improve.sat