first debug of the autosolver