80.39/82.97	unsat
