Solving HAMM & PROT