Add progon solution