4.43/6.93	unsat
