% SZS status Timeout for ALGEBRA__ALT__INT
