고체전해질을 이용한 전기화학셀에서의 메탄, 이산화탄소의 개질반응