1734.sat