2602.sat