Sarah has twice as many marbles as John. John has three more marbles than Lisa. If Lisa has 7 marbles, how many marbles do Sarah, John, and Lisa have in total? Let's think step by step and output the final answer within \boxed{}.
user