add canBeSolved function