Reformat Solve.vala using tabs