loading SCIP...
19 25750 true
14 19 24 30 39 42 50 54 59 64 67 71 73 83 85 86 88 92 97