loading SCIP...
10 45078 true
6 9 32 47 57 63 67 72 93 99