quits.sat