import java.util.ArrayList;
import java.util.Scanner;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
import java.io.BufferedInputStream;
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;


public class MagicSum {

	 public static void main(String[] args) throws IOException {

		 Scanner input = new Scanner(System.in);

		 String multiLine = "";
		 ArrayList<Integer> numbers = new ArrayList<Integer>();

		 while (input.hasNext()) {

			 multiLine = input.nextLine();

			 if (multiLine.contains("End")){
				 break;
			 }
			 else{
				 numbers.add(Integer.parseInt(multiLine));
			 }
		 }

		 long maxSum = Integer.MIN_VALUE;
		 long tripleSum = 0;

		 int[] numbersToArray = new int[numbers.size()];

		 for (int i = 0; i < numbersToArray.length; i++) {
			 numbersToArray[i] = numbers.get(i).intValue();
		 }

		 int firstToPrint = 0;
		 int secondToPrint = 0;
		 int thirdToPrint = 0;

		 boolean isResultExists = false;

		 for (int i = 1; i < numbersToArray.length; i++) {
			if (i == numbersToArray.length - 2) {
				break;
			}
			for (int j = i + 1; j < numbersToArray.length; j++) {
				for (int j2 = j + 1; j2 < numbersToArray.length; j2++) {
					tripleSum = numbersToArray[i] + numbersToArray[j] + numbersToArray[j2];
					if (tripleSum % numbersToArray[0] == 0) {
						if (tripleSum > maxSum) {
							maxSum = tripleSum;
							firstToPrint = numbersToArray[i];
							secondToPrint = numbersToArray[j];
							thirdToPrint = numbersToArray[j2];
							isResultExists = true;
						}
					}
				}
			}

		 }

		 if (isResultExists == true) {
			 System.out.println("(" + firstToPrint + " + " + secondToPrint + " + " +
			 			thirdToPrint + ") % " + numbersToArray[0] + " = 0");

		 }
		 else{
			 System.out.println("No");
		 }


	 }
}