4.58/6.93	unsat
