Follow-up to 2f59e4b159ec9356e8f8e3f564dfcf32aff950f2: added solution file.