In an 8 quart Insta-Pot combine beans, spices, Sweetener, mustard, molasses, liquid smoke, extract, Ketchup and water. Stir well. Place the lid on the Insta-Pot and set it to cook for 40 minutes. You can release the pressure or allow it to release on its on. 12-14 servings.