@fiasteem: what about SMT