6.47/9.33	unsat
