2678.sat