without solving the problem exactly
without solving the problem exactly