loading SCIP...
26 14375 true
1 4 6 7 8 12 15 20 27 31 32 33 34 36 42 48 55 57 59 61 73 75 77 89 95 99