19.35/19.49	unsat
