solver9 (const memory)