(assert (_ bv15 3