loading SCIP...
22 23797 true
3 4 6 8 9 11 17 25 40 44 47 50 51 54 55 58 60 61 63 73 83 97