loading SCIP...
10 43937 true
1 6 9 36 55 62 65 81 94 95