restruct the compsyn_multisat