solver test