140.87/141.14	unsat
