Added g12_cpx solver. But its not working yet!