17.29/17.69	unsat
