loading SCIP...
8 43766 true
1 3 30 70 75 85 86 92