61.07/79.95	unsat
