MAX-SAT loading ...