Use a single symmetric resolution