5.09/6.93	unsat
