fix serializing solutions