deduce a default solution url