Create random_ksat.dimacs

test data