ordem na casa + script para transformar input dimacs em 'numerical recipes'