aff=3CNF9I