SMT valuation curve | Upswitch bv