sat
(model 
  (define-fun v110000 () bool
    true)
  (define-fun v110100 () bool
    false)
  (define-fun v100110 () bool
    true)
  (define-fun v101111 () bool
    true)
  (define-fun v111111 () bool
    true)
  (define-fun v100001 () bool
    true)
  (define-fun v000011 () bool
    true)
  (define-fun v100101 () bool
    false)
  (define-fun v000111 () bool
    true)
  (define-fun v011101 () bool
    false)
  (define-fun v101110 () bool
    false)
  (define-fun v101011 () bool
    false)
  (define-fun v111010 () bool
    false)
  (define-fun v101001 () bool
    true)
  (define-fun v100010 () bool
    true)
  (define-fun v001011 () bool
    true)
  (define-fun v100000 () bool
    false)
  (define-fun v000110 () bool
    true)
  (define-fun v110101 () bool
    false)
  (define-fun v111001 () bool
    false)
  (define-fun v111101 () bool
    true)
  (define-fun v010001 () bool
    true)
  (define-fun v000001 () bool
    false)
  (define-fun v011111 () bool
    true)
  (define-fun v011110 () bool
    false)
  (define-fun v111011 () bool
    true)
  (define-fun v010000 () bool
    false)
  (define-fun v011011 () bool
    false)
  (define-fun v110011 () bool
    false)
  (define-fun v101101 () bool
    false)
  (define-fun v011000 () bool
    true)
  (define-fun v110001 () bool
    true)
  (define-fun v100011 () bool
    false)
  (define-fun v111100 () bool
    false)
  (define-fun v011100 () bool
    true)
  (define-fun v000000 () bool
    false)
  (define-fun v000101 () bool
    true)
  (define-fun v101000 () bool
    true)
  (define-fun v010011 () bool
    false)
  (define-fun v110010 () bool
    true)
  (define-fun v010110 () bool
    false)
  (define-fun v011001 () bool
    false)
  (define-fun v101100 () bool
    true)
  (define-fun v000100 () bool
    false)
  (define-fun v001110 () bool
    false)
  (define-fun v010100 () bool
    true)
  (define-fun v110110 () bool
    false)
  (define-fun v001101 () bool
    false)
  (define-fun v001000 () bool
    false)
  (define-fun v000010 () bool
    false)
  (define-fun v110111 () bool
    true)
  (define-fun v001100 () bool
    true)
  (define-fun v010010 () bool
    true)
  (define-fun v011010 () bool
    true)
  (define-fun v010111 () bool
    false)
  (define-fun v100111 () bool
    false)
  (define-fun v010101 () bool
    true)
  (define-fun v101010 () bool
    false)
  (define-fun v111000 () bool
    false)
  (define-fun v001010 () bool
    true)
  (define-fun v100100 () bool
    true)
  (define-fun v001001 () bool
    true)
  (define-fun v001111 () bool
    false)
  (define-fun v111110 () bool
    true)
)
