Adding procon solved problems