5.68/6.93	unsat
