SPL problem file ready for testing