Add an example solution json