51.52/51.87	unsat
