140.59/141.14	unsat
