142.58/143.38	unsat
