4.78/6.93	unsat
