71.84/72.01	unsat
