139.47/140.39	unsat
