loading SCIP...
20 24859 true
1 7 13 23 28 41 43 51 56 57 59 63 64 65 71 73 78 87 92 96