6.09/6.33	unsat
