Alex is currently 3 times as old as Ben. Five years ago, Alex was 4 times as old as Ben was at that time. How old are Alex and Ben now? Let's think step by step and output the final answer within \boxed{}.
user