19.13/19.24	unsat
