boolalg_sol.cpp