Dimacs formula shuffler