VALU SMT