19.12/19.50	unsat
