loading SCIP...
23 19953 true
1 7 13 16 19 23 26 27 37 47 48 55 58 61 65 68 75 77 78 84 86 91 95