added to the examples, the formula which cant be solved by htab