6.07/9.33	unsat
