SATU is processing a random 3SAT problem using minmax heuristic in nordugrid.