log/btorperr003.btor:10: literal '9' has width '6' but expected '5'