Added a proper main with solver+translation
Added a proper main with solver+translation

touist/touist,FredMaris/touist,olzd/touist,FredMaris/touist,FredMaris/touist,touist/touist,touist/touist,olzd/touist,touist/touist,olzd/touist