2293.sat