6.49/6.93	unsat
