quite.sat