Naive prog finder implemented