71.29/72.07	unsat
