still too large to be grounded, too many binary clauses, and needs some bugsfixing for test.lp