140.48/140.50	unsat
