68.07/72.36	unsat
