loading SCIP...
14 33735 true
0 2 4 6 21 23 31 32 34 36 51 56 86 98