80.88/82.73	unsat
