% SZS status Timeout for ALGEBRA__INTER__SPA
