(FBAcores CPS2) Update XDK1 solution