80.29/82.36	unsat
