fancy.sat