Beginning to add exact solve code