3294.sat