Added solving.log