cannot be satisfied ~ 18_JOB_31_31 ~ cannot be satisfied ~ 35_HAB_02_05 ~
 not be satisfied ~ 03_LEV_26_26 ~ not be satisfied ~ 18_JOB_27_14 ~ not be satisfied ~ 23_ISA_09_20 ~ not be satisfied ~ 26_EZE_16_28 ~ not be satisfied ~ 33_MIC_06_14 ~
 not be satisfied with ~ 18_JOB_27_14 ~ not be satisfied with ~ 21_ECC_05_10 ~
 shall not be satisfied ~ 18_JOB_27_14 ~ shall not be satisfied ~ 21_ECC_05_10 ~