69.95/72.12	unsat
