Improved Bounds for Integer Programs: A Supergroup Approach