80.46/84.90	unsat
