loading SCIP...
13 38078 true
22 24 25 26 37 43 46 49 60 63 82 85 98