Create heuristica.sol