18.22/19.22	unsat
