140.63/140.94	unsat
