Adding dimacs input