80.58/80.71	unsat
