added a new formula that htab cant solve