4.52/6.93	unsat
