48.52/51.06	unsat
