19.07/19.50	unsat
