52.14/53.06	unsat
