17.82/17.97	unsat
