80.78/84.14	unsat
