23 : A not B C D
45 : not A not B 
46 : sat