6.95/9.46	unsat
