Constructor now defaultly creates a node as unsolved.