51.93/52.06	unsat
