Introduce solve/3 to expose timeout as part of public API