2b.sat