Brute force MU prover.

very inefficient