17.82/17.93	unsat
