Write more tests about 'solveEfficiently'