Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search