add mixintprog test