2402.sat