69.60/72.11	unsat
