78.59/82.82	unsat
