139.49/141.06	unsat
