loading SCIP...
14 37735 true
7 10 27 31 32 36 52 56 61 62 76 89 92 96