Fix sol testcase