1687.sat