139.78/140.40	unsat
