// firmasat_simple.cs

using System;
using FirmaSAT;

namespace firmasat_simple
{
    class Program
    {
        static void Main(string[] args)
        {
            Console.WriteLine("Version = {0}", General.Version());
        }
    }
}