5.58/7.68	unsat
