Test, lots of files
Solver is finished, needs to be verified.