80.66/82.88	unsat
