sat
((m@0 (store (store ((as const (Array (_ BitVec 2) (_ BitVec 8))) #b00000010) #b00 #b00000001) #b11 #b00000011)))