1703.sat