There are semi-dry and dried jujubes at Korean grocery stores. Feel free to use either, but the fleshier, semi-dry jujubes work well with this recipe. Settings may vary on your Instant Pot® depending on the model. Please refer to the manufacturer's guide.