19.14/19.44	unsat
