19.15/19.22	unsat
