aff=3LTL11