% SZS status Timeout for ALGEBRA__FINITE__UNI
