1707.sat