akka smt
smt akka