it runs and finds lots of solutions