asten jolly joker miqp