Como instalar boolector no Debian Unstable (Sid)