lever.sat