loading SCIP...
14 36218 true
2 3 9 11 21 27 33 46 49 59 67 94 96 99