14.19/17.22	unsat
