19.35/19.44	unsat
