1307 假设a