4294.sat