134.58/140.46	unsat
