6.86/9.46	unsat
