19.22/22.16	unsat
