80.58/80.68	unsat
