Gravar-mail: Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions