Fix testcase sol