51.02/55.06	unsat
