dimacs now contains substitution map for variables