flips.sat