141.23/144.06	unsat
