17.06/17.69	unsat
