loading SCIP...
26 14812 true
4 5 6 9 13 33 34 36 38 46 48 50 53 55 63 64 67 73 78 81 82 83 88 89 92 97