x10 implementation of MiniSAT