80.56/84.33	unsat
