Update heuristica.sol