68.54/72.31	unsat
