141.09/142.06	unsat
