Correct solution file