x6.sat