Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem