loading SCIP...
10 45922 true
1 21 23 27 41 59 74 81 83 87