Adding solving log, and creating more tests.