Resolves SABR program using MiniZinc.