6.58/8.34	unsat
