MAX-3SAT loading ...