139.58/142.23	unsat
