2707.sat