Problem solving with Syinat Part 1