by combinatorial search