4.42/6.93	unsat
