The UNISAT program: Lessons learned and achieved results