.
american roulette algorithm vsmt