fixed BVMinisat bug due to not clearing seen properly