4.08/4.93	unsat
