14.17/16.18	unsat
