71.03/72.01	unsat
