利用补码进行加减运算（用5位二进制表示，左边第一位为符号位），并使用单符号位溢出判断公式来判断结果是否溢出？若溢出，是哪一种溢出？ ①：13+7=？ ②：12-8=？