QUI_8_SMT_2_PDF