quit.sat