17.08/17.63	unsat
