2^n test cases, n vars decomposed