5.83/6.93	unsat
