Added solver test