loading SCIP...
8 46375 true
20 23 24 75 80 90 98 99