LR SMT and HEXTA 2017