Semasio

#!/usr/bin/env python
# -*- coding: utf-8 -*-


def solve(numbers):

    max_multiple_3_index = -1
    max_index = -1

    for i in xrange(len(numbers)):
        if numbers[i] % 3 == 0 and (max_multiple_3_index == -1 or numbers[i] > numbers[max_multiple_3_index]):
            max_multiple_3_index = i

    for i in xrange(len(numbers)):
        if i != max_multiple_3_index and (max_index == -1 or numbers[i] > numbers[max_index]):
            max_index = i

    if max_index == -1 or max_multiple_3_index == -1 or len(numbers) < 2:
        return 'No solution'

    return 'Solution: ' + str(numbers[max_multiple_3_index]) + '*' + str(numbers[max_index]) + ' = ' + str(numbers[max_index]*numbers[max_multiple_3_index])


def main():

    numbers = []
    info = raw_input('insert numbers: ').split()

    for l in info:
        numbers.append(int(l))

    print solve(numbers)


if __name__ == '__main__':
    main()