AIMMS 3.12 PR-SU5 Now available