6.96/9.33	unsat
