143.17/143.62	unsat
