% SZS status Timeout for SKOLEM__T
