Abby ran 3 times as many laps as Karen. Adding 4 th the number of laps Abby ran and then dividing by 7 gives the number of laps Jill ran. Jill ran 1 lap. How many laps did Karen run?