19.17/19.20	unsat
