1702.sat