6.08/6.93	unsat
