subset sum problem proof date