quips.sat