2379.sat