71.79/72.01	unsat
