Passes tests for solving first layer
Reformatted solver.py

Broke long lines containing 'or' or 'and' into multiple lines.