4.73/6.93	unsat
