139.53/141.67	unsat
