QUI_9_SMT_2_PDF