loading SCIP...
16 36375 true
3 11 14 38 39 42 57 58 59 63 66 73 79 87 88 89