140.75/141.03	unsat
