mix.sat