conjectureproblem