Revert "temporary rename of solutions file"

This reverts commit dd53d8dea256f3c0b1cb543c6d10f1682c3d20d7.