80.50/84.58	unsat
