6.86/9.93	unsat
