Symbol: BSolver