Add brute-force solver