142.73/143.35	unsat
