loading SCIP...
26 15421 true
1 6 9 16 22 26 28 32 35 36 37 46 50 51 55 56 57 61 65 73 78 79 84 91 95 97