weakly_solved