Additional exact solve code