3.5 归结反演