more verbose solving