6.58/6.65	unsat
