bqn-smt

3 points by veqq