loading SCIP...
12 40016 true
1 2 5 7 9 27 36 48 53 81 94 97