added stubs for brute force solver, modified control flow