Can Graph Neural Networks Learn to Solve MaxSAT Problem?