10101.sat