Debug

add true msg at the end if there is no other solutions and the subst set is empty