80.91/82.00	unsat
