lifts.sat