binary_all_sol.cpp