validSol ist implementiert, ungetestet