New constructors + verification of Solution validity