Update cs_3sat/Program.cs

main s novim pozivima