A diving heuristic for mixed-integer problems with unbounded semi-continuous variables | Synapse