loading SCIP...
26 17797 true
1 2 14 16 20 22 23 33 34 42 45 49 51 52 54 55 57 62 63 73 85 86 87 91 95 96