add first entry: dimacs-cnf to smtlibv2