54.72/57.06	unsat
