OR—3计算机求解