old_contents: # Import the Solver class
  from Solver import *
  
  # Create a SAT problem to solve
  x = Solver('data/ex1.cnf')
  
  # Now solve the SAT problem (finding all solutions)
  solutions = x.simpleSolveAll()
  
  # Print out all solutions
  print "Solutions:\n", solutions
  
new_contents: # Import the Solver class
  from Solver import *
  
  # Ask for file path
  satFile = raw_input("Enter path to CNF file: ")
  
  
  # Create a SAT problem to solve
  x = Solver(satFile)
  
  # Now solve the SAT problem (finding all solutions)
  solutions = x.simpleSolveAll()
  
  # Print out all solutions
  print "Solutions:\n", solutions
  
subject: Update runMe.py - Change runMe.py so that it asks for a path to a CNF file to define a SAT problem.