loading SCIP...
26 14937 true
4 5 11 14 16 18 22 38 39 40 47 49 50 51 55 59 62 65 69 73 77 80 83 84 96 99