6.08/7.33	unsat
