80.58/82.89	unsat
