half complete BF Solver