Updated manual added polysat as suggest.