add random dimacs cuts for inputs