19.16/19.25	unsat
