Added unit test issue-2975; formatted

[jajhall]

Reproduces the instance in #2975 to check for future regression

[codecov]

Codecov Report

❌ Patch coverage is 96.00000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 81.30%. Comparing base (a34e028) to head (0a9e7ca).
⚠️ Report is 7 commits behind head on latest.

Files with missing lines	Patch %	Lines
check/TestMipSolver.cpp	96.00%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           latest    #2976   +/-   ##
=======================================
  Coverage   81.30%   81.30%           
=======================================
  Files         359      359           
  Lines       88767    88792   +25     
=======================================
+ Hits        72174    72196   +22     
- Misses      16593    16596    +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.