80.23/82.91	unsat
