140.14/140.29	unsat
