Please choose the correct solution to the question: Make a line tensioner.

Solution1: Use a rope threaded through and around a pulley, with a weight connected to the other end of the rope, and pull the rope to adjust the line tension.

Solution2: Use a rope threaded through and around a pulley, with a weight connected to the other end of the rope, and push the rope to adjust the line tension.

Answer format: solution1/solution2
Answer: solution1