% SZS status Timeout for onlylowers__satisfiab
