0010.sat