4.62/6.93	unsat
