loading SCIP...
12 38641 true
1 3 9 32 36 48 63 76 88 89 91 92