this is not a brute force trick.. it calculate all possibilities and eliminate others using constraint theories.