Solver prototype with initial test case