Bicu modular SMT