17.14/17.18	unsat
