17.58/17.63	unsat
