removed unused import and variables from solver.py