16.68/17.69	unsat
