add binary_sat_sovler, start crafting