torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem