loading SCIP...
14 33594 true
25 29 30 32 43 52 54 61 65 75 77 87 97 99