Welcome to MIX-SAT