Which revision uses a coordinating conjunction to combine the sentences?

The inventor initially struggled to solve the problem until she discovered an ingenious solution.
The inventor initially struggled to solve the problem; however, she discovered an ingenious solution.
The inventor initially struggled to solve the problem, but she discovered an ingenious solution.
The inventor initially struggled to solve the problem before she discovered an ingenious solution.