Logic.hs added. 46 solved